Keldysh Institute preprints • Preprint No . 31 , 2010

نویسنده

  • Ilya G. Klyuchnikov
چکیده

The paper presents the proof of correctness of an experimental supercompiler HOSC dealing with higher-order functions. В работе приводится доказательство корректности экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

search.bioPreprint: a discovery tool for cutting edge, preprint biomedical research articles

The time it takes for a completed manuscript to be published traditionally can be extremely lengthy. Article publication delay, which occurs in part due to constraints associated with peer review, can prevent the timely dissemination of critical and actionable data associated with new information on rare diseases or developing health concerns such as Zika virus. Preprint servers are open access...

متن کامل

The potential of preprints to accelerate scholarly communication - A bibliometric analysis based on selected journals

This paper quantifies to which extent preprints in arXiv accelerate scholarly communication. The following subject fields were investigated up to the year 2012: High Energy Physics (HEP), Mathematics, Astrophysics, Quantitative Biology, and Library and Information Science (LIS). Publication and citation data was downloaded from Scopus and matched with corresponding preprints in arXiv. Furthermo...

متن کامل

How the Scientific Community Reacts to Newly Submitted Preprints: Article Downloads, Twitter Mentions, and Citations

We analyze the online response to the preprint publication of a cohort of 4,606 scientific articles submitted to the preprint database arXiv.org between October 2010 and May 2011. We study three forms of responses to these preprints: downloads on the arXiv.org site, mentions on the social media site Twitter, and early citations in the scholarly record. We perform two analyses. First, we analyze...

متن کامل

From Preprints to E-prints: The Rise of Electronic Preprint Servers in Mathematics, Volume 49, Number 1

JANUARY 2002 NOTICES OF THE AMS 23 O ne of the earliest preprint servers in mathematics was launched in July 1991 in the mathematics department of the University of Texas at Austin. Called mp_arc, for “mathematical physics preprint archive”, it was the brainchild of Hans Koch, Rafael de la Llave, and Charles Radin, who had no grander scheme than to provide themselves and their colleagues in mat...

متن کامل

Preprints as medium for communicating new ideas, hypotheses, data, analysis and beyond

Preprints emerged as a medium for exchanging ideas and new research data in the physics and mathematics community through the arXiv preprint server, and the phenomenon has since spread to biology and chemistry, with the promulgation of a variety of preprint servers such as PeerJ Preprints and bioRxiv. Partly as a response to the slow publication process where it could take months or even years ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011